Stehr, Mark : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres
Articles (58)
Les plus populaires
Liste
- Liste
- Tableau

1

Incentives, Commitments, and Habit Formation in Exercise: Evidence from a Field Experiment with Workers at a Fortune-500 Company †

Royer, Heather, Stehr, Mark, Sydnor, Justin

Journal:

American Economic Journal Applied Economics

Année:

2015

Langue:

english

Fichier:

PDF, 602 KB

english, 2015

2

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Mark-Oliver Stehr

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 370 KB

english, 2006

3

Plan in Maude Specifying an Active Network Programming Language

Mark-Oliver Stehr, Carolyn L. Talcott

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 192 KB

english, 2004

4

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

Iliano Cervesato, Mark-Oliver Stehr

Journal:

Higher-Order and Symbolic Computation

Année:

2007

Langue:

english

Fichier:

PDF, 491 KB

english, 2007

5

High-performance fiber-laser-based terahertz spectrometer

Morris, Christopher M., Schmidt, Christian, Sherwin, Mark S., Stehr, Dominik

Journal:

Année:

2010

Langue:

english

Fichier:

PDF, 335 KB

english, 2010

6

[IEEE MILCOM 2008 - 2008 IEEE Military Communications Conference (MILCOM) - San Diego, CA, USA (2008.11.16-2008.11.19)] MILCOM 2008 - 2008 IEEE Military Communications Conference - Planning and learning algorithms for routing in Disruption-Tolerant Networks

Stehr, Mark-Oliver, Talcott, Carolyn

Année:

2008

Langue:

english

Fichier:

PDF, 329 KB

english, 2008

7

Can Financial Incentives Help People Trying to Establish New Habits? Experimental Evidence with New Gym Members

Carrera, Mariana, Royer, Heather, Stehr, Mark, Sydnor, Justin

Journal:

Journal of Health Economics

Année:

2018

Langue:

english

Fichier:

PDF, 709 KB

english, 2018

8

The effect of cigarette taxes on smoking among men and women

Journal:

Health Economics

Année:

2007

Langue:

english

Fichier:

PDF, 138 KB

english, 2007

9

Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework

Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 266 KB

english, 2001

10

CINNI - A Generic Calculus of Explicit Substitutions and its Application to λ- ς- and π-Calculi

Mark- Oliver Stehr

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2000

Langue:

english

Fichier:

PDF, 205 KB

english, 2000

11

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types

Iliano Cervesato, Mark-Oliver Stehr

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 432 KB

english, 2005

12

Chemical contamination and associated liver diseases in two species of fish from San Francisco Bay and Bodega Bay

CARLA M. Stehr, MARK S. Myers, DOUGLAS G. BURROWS, MARGARET M. Krahn, JAMES P. Meador, BRUCE B. McCAIN, USHA Varanasi

Journal:

Année:

1997

Langue:

english

Fichier:

PDF, 239 KB

english, 1997

13

Resilient dependable cyber-physical systems: a middleware perspective

Grit Denker, Nikil Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn Talcott, Nalini Venkatasubramanian

Journal:

Journal of Internet Services and Applications

Année:

2012

Langue:

english

Fichier:

PDF, 483 KB

english, 2012

14

A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing

Jinwoo Kim, Minyoung Kim, Mark-Oliver Stehr, Hyunok Oh, Soonhoi Ha

Journal:

Journal of Parallel and Distributed Computing

Année:

2012

Langue:

english

Fichier:

PDF, 1.62 MB

english, 2012

15

Toxicopathic hepatic lesions as biomarkers of chemical contaminant exposure and effects in marine bottomfish species from the Northeast and Pacific Coasts, USA

Mark S Myers, Lyndal L Johnson, O.Paul Olson, Carla M Stehr, Beth H Horness, Tracy K Collier, Bruce B McCain

Journal:

Marine Pollution Bulletin

Année:

1998

Langue:

english

Fichier:

PDF, 5.23 MB

english, 1998

16

Cigarette tax avoidance and evasion

Journal:

Journal of Health Economics

Année:

2005

Langue:

english

Fichier:

PDF, 277 KB

english, 2005

17

The effects of mandatory seatbelt laws on seatbelt use, motor vehicle fatalities, and crash-related injuries among youths

Christopher S. Carpenter, Mark Stehr

Journal:

Journal of Health Economics

Année:

2008

Langue:

english

Fichier:

PDF, 389 KB

english, 2008

18

Toxicopathic liver lesions in English sole and chemical contaminant exposure in Vancouver Harbour, Canada

Carla M. Stehr, Mark S. Myers, Lyndal L. Johnson, Sylvester Spencer, John E. Stein

Journal:

Marine Environmental Research

Année:

2004

Langue:

english

Fichier:

PDF, 738 KB

english, 2004

19

Hepatic lesions other than neoplasms in subadult flatfish from puget sound, washington: relationships with indices of contaminant exposure

Mark S. Myers, O.Paul Olson, Lyndal L. Johnson, Carla S. Stehr, Tom Hom, Usha Varanasi

Journal:

Marine Environmental Research

Année:

1992

Langue:

english

Fichier:

PDF, 315 KB

english, 1992

20

Terahertz Ionization of Highly Charged Quantum Posts in a Perforated Electron Gas

Morris, Christopher M., Stehr, Dominik, Kim, Hyochul, Truong, Tuan-Anh, Pryor, Craig, Petroff, Pierre M., Sherwin, Mark S.

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 2.30 MB

english, 2012

21

A distributed logic for Networked Cyber-Physical Systems

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn

Journal:

Science of Computer Programming

Année:

2013

Langue:

english

Fichier:

PDF, 667 KB

english, 2013

22

Tailoring consistency in group membership for mobile networks

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Stehr, Mark-Oliver, Talcott, Carolyn

Journal:

Future Generation Computer Systems

Année:

2014

Langue:

english

Fichier:

PDF, 2.46 MB

english, 2014

23

Relationships between Toxicopathic Hepatic Lesions and Exposure to Chemical Contaminants in English Sole (Pleuronectes vetulus), Starry Flounder (Platichthys stellatus), and White Croaker (Genyonemus lineatus) from Selected Marine Sites on the Pacific Coast, USA

Mark S. Myers, Carla M. Stehr, O. Paul Olson, Lyndal L. Johnson, Bruce B. McCain, Sin-Lam Chan and Usha Varanasi

Journal:

Environmental Health Perspectives

Année:

1994

Langue:

english

Fichier:

PDF, 4.60 MB

english, 1994

24

Domoic Acid Production Near California Coastal Upwelling Zones, June 1998

Vera L. Trainer, Nicolaus G. Adams, Brian D. Bill, Carla M. Stehr, John C. Wekell, Peter Moeller, Mark Busman and Dana Woodruff

Journal:

Limnology and Oceanography

Année:

2000

Langue:

english

Fichier:

PDF, 4.44 MB

english, 2000

25

[IEEE MILCOM 2013 - 2013 IEEE Military Communications Conference - San Diego, CA, USA (2013.11.18-2013.11.20)] MILCOM 2013 - 2013 IEEE Military Communications Conference - ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge

Wood, Samuel, Mathewson, James, Joy, Joshua, Stehr, Mark-Oliver, Kim, Minyoung, Gehani, Ashish, Gerla, Mario, Sadjadpour, Hamid, Garcia-Luna-Aceves, J.J.

Année:

2013

Langue:

english

Fichier:

PDF, 498 KB

english, 2013

26

Chemical contaminants and hepatic lesions in winter flounder (Pleuronectes americanus) from the northeast coast of the United States

Johnson, Lyndal L., Stehr, Carla M., Olson, O. Paul, Myers, Mark S., Pierce, Susan M., Wigren, Catherine A., McCain, Bruce B., Varanasi, Usha

Journal:

Environmental Science & Technology

Année:

1993

Langue:

english

Fichier:

PDF, 4.03 MB

english, 1993

27

[IEEE 2007 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks - Dublin, Ireland (2007.04.17-2007.04.20)] 2007 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks - A Policy Engine for Spectrum Sharing

Denker, Grit, Elenius, Daniel, Senanayake, Rukman, Stehr, Mark-Oliver, Wilkins, David

Année:

2007

Langue:

english

Fichier:

PDF, 684 KB

english, 2007

28

[IEEE 2011 International Conference on Collaboration Technologies and Systems (CTS) - Philadelphia, PA, USA (2011.05.23-2011.05.27)] 2011 International Conference on Collaboration Technologies and Systems (CTS) - Tailoring group membership consistency for mobile networks

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Talcott, Carolyn, Stehr, Mark-Oliver

Année:

2011

Langue:

english

Fichier:

PDF, 1004 KB

english, 2011

29

Policy-Based Cognitive Radios

Wilkins, David, Denker, Grit, Stehr, Mark-Oliver, Elenius, Daniel, Senanay, Rukmam, Talcott, Carolyn

Journal:

IEEE Wireless Communications

Année:

2007

Langue:

english

Fichier:

PDF, 93 KB

english, 2007

30

[IEEE 2008 International Symposium on Collaborative Technologies and Systems (CTS) - Irvine, CA, USA (2008.05.19-2008.05.23)] 2008 International Symposium on Collaborative Technologies and Systems - Formal specification of agent-object oriented programs

Pagliarecci, Francesco, Spalazzi, Luca, Stehr, Mark-Oliver, Talcott, Carolyn L.

Année:

2008

Langue:

english

Fichier:

PDF, 296 KB

english, 2008

31

[IEEE 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06) - Riverside, CA, USA (2006.12.18-2006.12.20)] 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06) - Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Stehr, Mark-oliver, Talcott, Carolyn

Année:

2006

Langue:

english

Fichier:

PDF, 369 KB

english, 2006

32

[IEEE 2010 IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing (EUC) (Co-Located with CSE 2010) - Hong Kong, China (2010.12.11-2010.12.13)] 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing - An Application Framework for Loosely Coupled Networked Cyber-Physical Systems

Kim, Minyoung, Stehr, Mark-Oliver, Kim, Jinwoo, Ha, Soonhoi

Année:

2010

Langue:

english

Fichier:

PDF, 1.03 MB

english, 2010

33

[IEEE Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - Bologna, Italy (2007.06.13-2007.06.15)] Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies

Elenius, Daniel, Denker, Grit, Stehr, Mark-Oliver, Senanayake, Rukman, Talcott, Carolyn, Wilkins, David

Année:

2007

Langue:

english

Fichier:

PDF, 885 KB

english, 2007

34

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Constraint Refinement for Online Verifiable Cross-Layer System Adaptation

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn, Dutt, Nikil, Venkatasubramanian, Nalini

Année:

2008

Langue:

english

Fichier:

PDF, 4.83 MB

english, 2008

35

[IEEE 2008 33rd International Conference on Infrared, Millimeter and Terahertz Waves (IRMMW-THz 2008) - Pasadena, CA (2008.09.15-2008.09.19)] 2008 33rd International Conference on Infrared, Millimeter and Terahertz Waves - Single shot high resolution THz upconversion spectrometer

Zaks, Benjamin, Heyman, James, Stehr, Dominik, Allen, Dan, Coates, Nelson, Sherwin, Mark

Année:

2008

Langue:

english

Fichier:

PDF, 219 KB

english, 2008

36

[ACM Press the 19th annual international conference - Miami, Florida, USA (2013.09.30-2013.10.04)] Proceedings of the 19th annual international conference on Mobile computing & networking - MobiCom '13 - Network coding for content-based intermittently connected emergency networks

Joy, Joshua, Yu, Yu-Ting, Gerla, Mario, Wood, Samuel, Mathewson, James, Stehr, Mark-Oliver

Année:

2013

Langue:

english

Fichier:

PDF, 7.05 MB

english, 2013

37

[IEEE 2014 IEEE Military Communications Conference (MILCOM) - Baltimore, MD, USA (2014.10.6-2014.10.8)] 2014 IEEE Military Communications Conference - Adaptive Interest Modeling Improves Content Services at the Network Edge

Li, Hua, Costantini, Ralph, Anhalt, David, Alonso, Rafael, Stehr, Mark-Oliver, Talcot, Carolyn, Kim, Minyoung, McCarthy, Timothy, Wood, Samuel

Année:

2014

Langue:

english

Fichier:

PDF, 262 KB

english, 2014

38

The Effect of Sunday Sales of Alcohol on Highway Crash Fatalities

Journal:

The B E Journal of Economic Analysis & Policy

Année:

2010

Langue:

english

Fichier:

PDF, 391 KB

english, 2010

39

[IEEE 2012 IEEE International Conference on Green Computing and Communications (GreenCom) - Besancon, France (2012.11.20-2012.11.23)] 2012 IEEE International Conference on Green Computing and Communications - Folding and Unfolding Bloom Filters: An Off-Line Planning and On-Line Optimization Problem

Sailhan, Francoise, Stehr, Mark Oliver

Année:

2012

Langue:

english

Fichier:

PDF, 262 KB

english, 2012

40

[ACM Press the 3rd workshop - Toronto, Ontario, Canada (2004.10.19-2004.10.19)] Proceedings of the 3rd workshop on Adaptive and reflective middleware - - Exploring adaptability of secure group communication using formal prototyping techniques

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Stehr, Mark-Oliver, Talcott, Carolyn

Année:

2004

Langue:

english

Fichier:

PDF, 270 KB

english, 2004

41

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Constraint refinement for online verifiable cross-layer system adaptation

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn, Dutt, Nikil, Venkatasubramanian, Nalini

Année:

2008

Langue:

english

Fichier:

PDF, 333 KB

english, 2008

42

[ACM Press the 2005 workshop - Long Beach, California (2005.01.10-2005.01.11)] Proceedings of the 2005 workshop on Issues in the theory of security - WITS '05 - Formal prototyping in early stages of protocol design

Goodloe, Alwyn, Gunter, Carl A., Stehr, Mark-Oliver

Année:

2005

Langue:

english

Fichier:

PDF, 518 KB

english, 2005

43

THz-driven quantum wells: Coulomb interactions and Stark shifts in the ultrastrong coupling regime

Zaks, Benjamin, Stehr, Dominik, Truong, Tuan-Anh, Petroff, Pierre M, Hughes, Stephen, Sherwin, Mark S

Journal:

New Journal of Physics

Année:

2011

Langue:

english

Fichier:

PDF, 1.09 MB

english, 2011

44

[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - Maximizing availability of content in disruptive environments by cross-layer optimization

Kim, Minyoung, Gehani, Ashish, Kim, Je-Min, Tariq, Dawood, Stehr, Mark-Oliver, Kim, Jin-soo

Année:

2013

Langue:

english

Fichier:

PDF, 2.56 MB

english, 2013

45

xTune

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn, Dutt, Nikil, Venkatasubramanian, Nalini

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2012

Langue:

english

Fichier:

PDF, 535 KB

english, 2012

46

Intended and Unintended Consequences of Youth Bicycle Helmet Laws

Christopher S. Carpenter and Mark Stehr

Journal:

The Journal of Law and Economics

Année:

2011

Langue:

english

Fichier:

PDF, 319 KB

english, 2011

47

[IEEE 2015 IEEE International Conference on Big Data (Big Data) - Santa Clara, CA, USA (2015.10.29-2015.11.1)] 2015 IEEE International Conference on Big Data (Big Data) - Priority register: Application-defined replacement orderings for ad hoc reconciliation

Kumar, Sathiya Prabhu, Lefebvre, Sylvain, Kim, Minyoung, Stehr, Mark Oliver

Année:

2015

Langue:

english

Fichier:

PDF, 141 KB

english, 2015

48

Domoic acid production near California coastal upwelling zones, June 1998

Trainer, Vera L., Adams, Nicolaus G., Bill, Brian D., Stehr, Carla M., Wekell, John C., Moeller, Peter, Busman, Mark, Woodruff, Dana

Journal:

Limnology and Oceanography

Année:

2000

Langue:

english

Fichier:

PDF, 2.45 MB

english, 2000

49

The Effect of Sunday Sales Bans and Excise Taxes on Drinking and Cross—Border Shopping for Alcoholic Beverages

Journal:

National Tax Journal

Année:

2007

Langue:

english

Fichier:

PDF, 2.00 MB

english, 2007

50

Relationship between HIV Risk Perception and Condom Use: Evidence from a Population-Based Survey in Mozambique

Ndola Prata, Leo Morris, Elizio Mazive, Farnaz Vahidnia and Mark Stehr

Journal:

International Family Planning Perspectives

Année:

2006

Langue:

english

Fichier:

PDF, 1.28 MB

english, 2006